Search results for "Interactive Design"

showing 4 items of 4 documents

Advances on mechanics, design engineering and manufacturing

2018

The theme of the present editorial is dedicated to the“Advances on Mechanics, Design Engineering and Manufac-turing” that emerge in different engineering and architecturalfields.The theme has been chosen as leitmotiv of a series ofevents that have been organized by three societies operatingin Italy, Spain and France, respectively: ADM (Associ-azione nazionale Disegno e Metodi dell’ingegneria indus-triale), INGEGRAF (Asociación Española de IngenieríaGráfica and AIP-PRIMECA (Ateliers Inter-établissementsde Productique—Pôles de Resources Informatiques pour laMECAnique). Since 2014, a series of JCM conferences havebeen organized. JCM is the acronym of “Joint Conference onMechanics, Design Engin…

0209 industrial biotechnologyEngineeringbusiness.industry0211 other engineering and technologies02 engineering and technologyMechatronicsIndustrial and Manufacturing EngineeringManufacturing engineeringProduct Design and Development Computer-Aided Design and Interactive Design020901 industrial engineering & automationIndustrial designModeling and SimulationSettore ING-IND/15 - Disegno E Metodi Dell'Ingegneria IndustrialeEngineering design processbusiness021106 design practice & managementInternational Journal on Interactive Design and Manufacturing (IJIDeM)
researchProduct

A Generative Design System to interactively explore different urban scenarios

2010

In this paper we present a new parametric approach based on urban regulation, in order to generate digital models of building, directly within a three-dimensional geo-referenced environment. The system allows user, through implementation of specific generative procedures, to manage interactive architectural design processes. The designer is able to explore all possible infinite scenarios and the various possible design alternatives, by changing the parameters values and verifying in real time the results of the changes. This paper presents a short review of the main related works and an experiment.

Generative design Architectural Design Urban Design; Interactive DesignSettore ICAR/14 - Composizione Architettonica E UrbanaGenerative design Architectural Design Urban DesignInteractive Design
researchProduct

Generating harmonic surfaces for interactive design

2014

Abstract A method is given for generating harmonic tensor product Bezier surfaces and the explicit expression of each point in the control net is provided as a linear combination of prescribed boundary control points. The matrix of scalar coefficients of these combinations works like a mould for harmonic surfaces. Thus, real-time manipulation of the resulting surfaces subject to modification of prescribed information is possible.

Interactive designScalar (mathematics)Mathematical analysisBézier curveComputational MathematicsTensor productComputational Theory and MathematicsExplicit solutionModeling and SimulationLinear combinationTensor product Bézier surfaceHarmonic surfaceGenerating functionMathematicsComputers & Mathematics with Applications
researchProduct

ATL model checking in the cloud

2015

This paper gives an overview of our recent work on implementing a new interactive ATL model checker for verification of open systems. In verification based on model checking, we need to provide a model of the system and also write down the properties (ATL formulas) that we require the system to satisfy. Traditionally, the semantics of ATL is given in terms of concurrent game structures. In contrast to previous approaches, our tool permits an interactive design of the ATL models as state-transition graphs, and is based on client/server architecture. The server part, published as Web service in OpenShift cloud platform, embeds the core of the ATL model checker, and the client provides an intu…

Model checkingSQLProgramming languagebusiness.industrySemantics (computer science)Computer scienceInteractive designCloud computingcomputer.software_genreTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESOperating systemAlgorithm designWeb servicebusinesscomputercomputer.programming_languageGraphical user interface2015 Internet Technologies and Applications (ITA)
researchProduct